axiom of countability

[数] 可数公理